package sketch.ounit.fuzz;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class RandomValueWithSetUpTearDownTest extends TestCase {

	public static Test suite() {
		return new TestSuite(RandomValueWithSetUpTearDownTest.class);
	}
	
	public void testRandomGenWithSetUpTearDown() {
			String sketchPath = "./testfiles/sketch/ounit/fuzz/RandomValueWithSetUpTearDown.java";
			String junitClass = "sketch.test.RandomValueWithSetUpTearDown";
			int randomtime = 5;
			int fuzztime = 8;
			ImprovedSketchGuidedRandomTestGeneration generator
			  = new ImprovedSketchGuidedRandomTestGeneration(sketchPath, junitClass, randomtime, fuzztime);
			generator.generate_tests();
	}
}
